Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике Osvald Demuth, Rudolf Kryl, Antonín Kučera (1978) Acta Universitatis Carolinae. Mathematica et Physica
Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной Osvald Demuth (1976) Commentationes Mathematicae Universitatis Carolinae
Об одном способе моделирования классической арифметики второй ступени Н.В. Белякин (1983) Algebra i Logika
Обобщенная вычислимость и дескриптивная теория множеств В.А. Ганов (1974) Sibirskij matematiceskij zurnal
Одно простое синтаксическое определение всех классов иерархии Гжегорчика С.В. Пахомов (1974) Zapiski naucnych seminarov Leningradskogo
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии. Ю.Д. Корольков (2002) Algebra i Logika
Пресбургеровость предикатов, регулярных в двух системах счисления А.Л. Семенов (1977) Sibirskij matematiceskij zurnal